automatic program verificationの例文

例文

  1. He received the Turing Award in 1978 " for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science : the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms ".

隣接する単語

  1. "automatic program search system"の例文
  2. "automatic program setting method"の例文
  3. "automatic program synthesis"の例文
  4. "automatic program unit"の例文
  5. "automatic programed checkout equipment"の例文
  6. "automatic programme control"の例文
  7. "automatic programmed checkout equipment"の例文
  8. "automatic programmed elevator"の例文
  9. "automatic programmed tools"の例文
  10. "automatic program synthesis"の例文
  11. "automatic program unit"の例文
  12. "automatic programed checkout equipment"の例文
  13. "automatic programme control"の例文
パソコン版で見る

著作権 © 2024 WordTech 株式会社